$\forall$$T$:Type, $L$:($T$ List), $R$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$)\} $\rightarrow$Realizer), $B$:Realizer.
\\[0ex]R{-}icompat($B$;$\oplus$$x$$\in$$L$.$R$($x$)) $\Leftarrow\!\Rightarrow$ ($\forall$$x$$\in$$L$. R{-}icompat($B$;$R$($x$)))